formal program testing
[计] 形式程序测试
热门查询
- noir adj. 轮盘戏中黑色数字的
- mu n. 希腊语的第12个字母；微米 n. (Mu)人名；(中)茉(广东话·威妥玛)
- Springsteen 斯普林斯汀（姓氏）
- loveable adj. 可爱的；惹人爱的（等于lovable）
- compressibility n. 压缩性；压缩系数；压缩率
- billable 可收取费用的，可计费的
- rickets n. [内科] 佝偻病
- shaw n. 林薮；杂木林 n. (Shaw)人名；(中)邵(普通话·威妥玛)；(英、德)肖
- rubbing n. 摩擦；研磨；摹拓 v. 摩擦；按摩；触痛（rub的ing形式）
- Benvenuto n. (Benvenuto)人名；(西、意)本韦努托
- Milanese n. 米兰人 adj. 米兰的
- codependency n. 互相依赖
- intertwined adj. 缠绕的；错综复杂的 v. 使缠结，缠绕（intertwine的过去式）
- leer n. 媚眼，秋波；恶意的瞥视 vi. 抛媚眼，送秋波；斜睨
- CAPM abbr. capital asset pricing model 资本资产定价模式
- conjunctive n. 连接词 adj. 连接的；结合的
- Tracey [人名] [英格兰人姓氏] 特雷西住所名称，来源于法国罗马人名Thracius+地点后缀eium; [人名] [爱尔兰姓氏] 特雷西 Treacy的变体
- anagnorisis n. 发现（亚里斯多德《诗学》中用语，“发现”与“突转”被视作悲剧情节的主要成分）
- curable adj. 可治愈的；可医治的；可矫正的
- owd abbr. occiput-wall distance 枕部-壁距离; oil-in-water dispersions 水中油分散; ocular Whipple disease 眼惠普尔病; optical Wigner distribution 光学维格纳分布
